Model checking - PDFSEARCH.IO - Document Search Engine

Model checking
Results: 996

#	Item
701	Model-checking space and time requirements for resource-bounded agents Natasha Alechina1 , Piergiorgio Bertoli2 , Chiara Ghidini2 , Mark Jago1 , Brian Logan1, and Luciano Serafini2 1 Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2006-08-16 14:39:00 Formal languages Model theory Logical truth Propositional calculus Logical syntax Substitution Formula Well-formed formula Interpretation Logic Mathematics Mathematical logic
702	Encoding of Boolean Functions and Its Application to LUT Cascade Synthesis Alan Mishchenko Department of ECE Portland State University Portland, OR 97207, USA [removed] Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2002-05-15 21:59:58 Boolean algebra Character encoding Binary decision diagram Diagrams Model checking Canonical form Lookup table String Code Computing Computer programming Software engineering
703	Minimization of Average Path Length in BDDs by Variable Reordering Shinobu NAGAYAMA1 Alan MISHCHENKO2 Tsutomu SASAO1,3 Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2003-04-24 12:04:31 APL programming language family Array programming languages Computer programming Diagrams Binary decision diagram Model checking APL K Reed-Muller expansion Boolean algebra Computing Software engineering
704	Automated Extraction of Inductive Invariants to Aid Model Checking Michael L. Case Alan Mishchenko Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2007-07-30 11:40:19 Logic Inductive reasoning Mathematical induction Model checking Connectivity Graph theory Structural induction Mathematics Mathematical logic Mathematical proofs
705	Verifying Dribble Agents Doan Thu Trang, Brian Logan, and Natasha Alechina The University of Nottingham School of Computer Science Abstract. We describe a model-checking based approach to verification of programs writte Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2009-09-11 12:40:28
706	Model-checking space and time requirements for resource-bounded agents Natasha Alechina1 , Piergiorgio Bertoli2 , Chiara Ghidini2 , Mark Jago1 , Brian Logan1, and Luciano Serafini2 1 Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2009-09-11 12:40:28 Formal languages Model theory Logical truth Propositional calculus Logical syntax Substitution Formula Well-formed formula Interpretation Logic Mathematics Mathematical logic
707	Verifying Distributed Real-time Properties of Embedded Systems via Graph Transformations and Model Checking∗ Gabor Madl1,2 Sherif Abdelwahed1 Add to Reading List Source URL: www.isis.vanderbilt.edu Language: English - Date: 2008-06-17 11:23:37 Technology Embedded systems Electronics Scheduling algorithms DREAM Model checking Worst-case execution time Scheduling Uppaal Model Checker Computing Real-time computing Concurrent computing
708	Formal Verification of Digital Circuits Using Symbolic Ternary System Models Randal E. Bryant Carl-Johan Seger Carnegie Mellon University Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2004-11-16 11:31:41 Mathematical logic Algebraic logic Circuit Boolean function Model checking FO Topology Boolean algebras canonically defined Boolean circuit Theoretical computer science Mathematics Boolean algebra
709	Microsoft Word - ASPDAC Support Reduciing final.doc Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2005-01-30 12:29:36 Diagrams Binary decision diagram Model checking Symmetry in mathematics Function Heuristic Emmy Noether Group Symmetry Mathematics Boolean algebra
710	LNCS[removed]Domain Types: Abstract-Domain Selection Based on Variable Usage Add to Reading List Source URL: www.infosun.fim.uni-passau.de Language: English - Date: 2013-10-30 13:54:10 Data types Type theory Binary decision diagram Boolean algebra Diagrams Model checking Function Variable Type system Mathematics Mathematical logic Software engineering

UPDATE